MODELS OF ON-LINE SOCIAL NETWORKS ANTHONY BONATO, NOOR HADI, PAUL HORN, PAWEÃL PRAÃLAT, AND CHANGPING WANG Abstract. We present a deterministic model for on-line social networks (OSNs) based on transitivity and local k

Source URL: web.cs.du.edu

• Algebraic graph theory
• Network theory
• Graph theory
• Matrices
• Network analysis
• Adjacency matrix
• Clustering coefficient
• Graph

Adaptive Cruise Control: Experimental Validation of Advanced Controllers on Scale-Model Cars Aakar Mehra1 , Wen-Loong Ma1 , Forrest Berg1 , Paulo Tabuada2 , Jessy W. Grizzle3 and Aaron D. Ames1 Abstract— Recent advance

Source URL: web.eecs.umich.edu

• Cybernetics
• Control theory
• Autonomous cruise control system
• Work
• Velocity
• Controller
• Nonlinear control
• Cruise control
• Optimal control

A Pheromone-Based Utility Model for Collaborative Foraging Liviu Panait Department of Computer Science George Mason University Abstract

Source URL: cs.gmu.edu

• Symbiosis
• Systems theory
• Ant colony optimization algorithms
• Behavioral ecology
• Superorganisms
• Pheromone
• Ant
• Trail pheromone
• Stigmergy
• Artificial ants
• Eusociality
• Swarm behaviour

ON THE WELL-POSEDNESS OF THE LINEAR PERIDYNAMIC MODEL AND ITS CONVERGENCE TOWARDS THE NAVIER EQUATION OF LINEAR ELASTICITY ETIENNE EMMRICH∗ AND OLAF WECKNER† Abstract. The non-local peridynamic theory describes the d

Source URL: www.math.tu-berlin.de

• Wave equation
• Limit of a function
• Generalized functions

Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International

Source URL: yices.csl.sri.com

• Model theory
• Logic in computer science
• Semantics
• Formal languages
• Logical truth
• Satisfiability modulo theories
• Interpretation
• Quantifier elimination
• True quantified Boolean formula
• Quantifier
• Substitution
• Well-formed formula

A Unified Approach to Polyvariance in Abstract Interpretations ∗ Thomas Gilray Matthew Might University of Utah

Source URL: webyrd.net

• Character encoding
• Symbol
• Model theory
• String

STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This

Source URL: www.phil.uu.nl

• Modal logic
• Non-classical logic
• Model theory
• Boolean algebra
• Philosophical logic
• Kripke semantics
• Interior algebra
• Heyting algebra
• Embedding
• Intermediate logic
• Normal modal logic
• Substitution

Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward

Source URL: theory.stanford.edu

• Bitcoin
• Cryptocurrencies
• Mining pool
• Reinforcement learning

Implementing Black-Litterman using an Equivalent Formula and Equity Analyst Target Prices Leon Chen† , Zhi Da‡ and Ernst Schaumburg♦∗ February 9, 2015 Abstract

Source URL: www3.nd.edu

• Mathematical finance
• Investment
• Financial risk
• Financial economics
• Modern portfolio theory
• BlackLitterman model
• Portfolio optimization
• Beta
• Asset allocation
• Market portfolio
• Standard deviation
• Market sentiment

MONOIDAL DERIVATORS AND ADDITIVE DERIVATORS MORITZ GROTH Abstract. One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators bo

Source URL: www.math.ru.nl